Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
نویسنده
چکیده
In this work we investigate infinite structures. We discuss the importance, meaning and temptation of the axiom of choice and equivalent formulations with respect to graph theory, abstract argumentation and dialogue games. Emphasis is put on maximal independent sets in graph theory as well as preferred semantics in abstract argumentation. 1998 ACM Subject Classification G.2.2 Graph Theory, F.4.1 Mathematical Logic, I.2 Artificial Intelligence
منابع مشابه
Sets, the Axiom of Choice, And All That: A Tutorial
This tutorial deals with the application of the Axiom of Choice in one of its popular disguises to objects which are of some interest in computer science (like lattices, Boolean algebras, filters and ideals, games). We discuss some common variants of this axiom such as Zorn's Lemma, Tuckey's Maximality Principle, the Well-Ordering Theorem and the Maximal Ideal Theorem; each equivalence gives ap...
متن کاملCoherence and Flexibility in Dialogue Games for Argumentation
This article carries out a formal study of dialogue games for argumentation. A formal framework for such games is proposed which imposes an explicit reply structure on dialogues, where each dialogue move either attacks or surrenders to some earlier move of the other participant. The framework is flexible in several respects. It allows for different underlying logics, alternative sets of locutio...
متن کاملExtensive-Form Argumentation Games
Two prevalent approaches to automated negotiation are the application of game-theoretic notions and the argumentation-based angle; these two schemes are frequently at odds. An elegant view of argumentation is Dung’s abstract argumentation theory [2], which cold-shoulders the internal structure of arguments in favor of the entire debate’s global structure. Dung’s theory is elaborated by work in ...
متن کاملOn characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملMaximal Independent Sets for the Pixel Expansion of Graph Access Structure
Abstract : A visual cryptography scheme based on a given graph G is a method to distribute a secret image among the vertices of G, the participants, so that a subset of participants can recover the secret image if they contain an edge of G, by stacking their shares, otherwise they can obtain no information regarding the secret image. In this paper a maximal independent sets of the graph G was ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014